type theory meaning in English
类型论, 类型理论
逻辑类型
Examples
- The handling of faults in the originals with newmark ' s text type theory is analyzed
用纽马克的文本分类法来分析对不同原文失误的处理策略。 - Application of statistical idea and the triple - type theory in the scientific research of biomedicine
统计学思想与三型理论在生物医学科研中的应用 - Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最后，基于c2adl和软件体系结构的类型理论，系统地研究了引入agent模型产生的软件演化问题。 - A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一种新的基于类型理论逻辑框架lf的特定论域推理途径lftop 。在此途径下，用户可以不必是类型理论方面的专家。 - Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。